Here is a deft and new introduction to Gentzen proof techniques in axiom systems and to the analysis of formal axiom systems; in short, axiomatics inside and out. Treating of deduction in propositional and predicate logic, metatheoretical problems about both set theory and its paradoxes, the book is flexibly structured for selective use as a text. Yet the discussion is unified and motivated by the concept of the axiomatic system--the history of its use and analysis, and its present practical and (...) theoretical status. Well-chosen illustrations convey an historical overview of Euclid, non-Euclidean geometers, Peano, Boole, Hilbert and Gödel.--P. D. J. (shrink)

An exposition of the views of literary critics of present day influence, presented to illustrate the thesis that the study of the humanities guided by a traditional mode of analysis, fails to encourage and produce the methodological habits and styles of thought needed by the citizen to understand social and political problems. Lane--a political scientist--proposes that the teaching of the humanities would contribute to the development of democratic citizenship if it were recognized that there is no logical or methodological difference (...) between the sciences and the humanities.--P. D. J. (shrink)